CBMC_GC_FLAGS += --bool sum --bool add_to_all --merge
include ../make_verifier.inc

